Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
331	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title DOE-BER Subsurface Biogeochemistry Scientific Focus Area Vertical (area) Research: Earth Science Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 17:42:21 Data management Data analysis Emerging technologies Data mining Big data Geographic information system Hydrology Data quality Science Technology Formal sciences
332	QES Management System Issue Date: [removed]Intention to proceed to a Development Deed This form is to be lodged with City West Water if the formal Development Deed is unable to be executed by all parties within 3 month Add to Reading List Source URL: www.citywestwater.com.au Language: English - Date: 2014-09-21 22:57:39 Deed Credit card Email Fee Visa Inc. Business Internet Computing Real property law Legal documents Credit cards
333	Description Incremental tenure is a practice that acknowledges the fact that tenure is a process and not a fixed system. It acknowledges that both formal and informal land rights are fraught with challenges for the urban Add to Reading List Source URL: www.internal-displacement.org Language: English - Date: 2015-03-25 04:33:28 Persecution Refugee Bosaso Nobel Prize United Nations High Commissioner for Refugees Peace Sri Lankan IDP camps Forced migration Human migration Internally displaced person
334	Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Holism ACL2 Formal methods Model theory Automated theorem proving Nqthm Common Lisp Modular programming Software engineering Computer programming Computing
335	Secure Virtualization with Formal Methods Cynthia Sturton Electrical Engineering and Computer Sciences University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-12-19 00:17:07 Hardware virtualization X86 architecture X86 virtualization Model checking Virtualization Hypervisor Formal methods Verification and validation Bochs System software Software Virtual machines
336	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
337	Dateutil to the Rescue! Mike Pirnat AG Interactive [removed] 1 Add to Reading List Source URL: mike.pirnat.com Language: English - Date: 2014-11-30 16:23:45 Computing Software engineering Formal languages Compiler construction Parsing System time
338	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
339	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Comparative analysis for metagenomes and genomes Vertical (area) Scientific Research: Genomics Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 18:21:43 Bioinformatics Formal sciences Relational database management systems Database management systems Database theory Integrated Microbial Genomes System Oracle Database Metagenomics NoSQL Science Data management Statistics

UPDATE